[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 54 52 55 55 165 0 0 46

N.S.

1 0.58 0.56 0.59 0.59 1.77 0.00 0.00 0.49

time (sec)

N/A 0.205 0.061 9.024 0.398 0.284 0.000 0.000 1.279

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 44 54 83 204 0 0 0

N.S.

1 0.69 0.63 0.77 1.19 2.91 0.00 0.00 0.00

time (sec)

N/A 0.308 0.044 9.529 0.457 0.306 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 39 45 46 80 188 0 0 82

N.S.

1 0.64 0.74 0.75 1.31 3.08 0.00 0.00 1.34

time (sec)

N/A 0.241 0.047 8.980 0.398 0.292 0.000 0.000 1.455

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 64 59 116 761 216 0 0 0

N.S.

1 0.80 0.74 1.45 9.51 2.70 0.00 0.00 0.00

time (sec)

N/A 0.341 0.085 9.068 0.484 0.288 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 67 52 55 355 50 0 0 218

N.S.

1 0.83 0.64 0.68 4.38 0.62 0.00 0.00 2.69

time (sec)

N/A 0.341 0.023 8.637 0.462 0.268 0.000 0.000 2.707

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 92 81 181 2434 260 0 0 0

N.S.

1 0.74 0.65 1.45 19.47 2.08 0.00 0.00 0.00

time (sec)

N/A 0.414 0.100 8.691 0.525 0.309 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 72 70 73 127 75 0 0 100

N.S.

1 0.58 0.56 0.58 1.02 0.60 0.00 0.00 0.80

time (sec)

N/A 0.303 0.182 8.434 0.565 0.280 0.000 0.000 2.256

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 85 67 91 92 219 0 0 72

N.S.

1 0.70 0.55 0.75 0.75 1.80 0.00 0.00 0.59

time (sec)

N/A 0.337 0.718 7.868 0.408 0.286 0.000 0.000 0.928

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 55 52 50 64 54 0 0 56

N.S.

1 0.69 0.65 0.62 0.80 0.68 0.00 0.00 0.70

time (sec)

N/A 0.267 0.102 8.286 0.409 0.254 0.000 0.000 0.653

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 56 52 57 59 171 0 0 48

N.S.

1 0.57 0.53 0.58 0.60 1.73 0.00 0.00 0.48

time (sec)

N/A 0.209 0.085 8.513 0.373 0.287 0.000 0.000 1.125

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 50 44 56 87 210 0 0 0

N.S.

1 0.68 0.59 0.76 1.18 2.84 0.00 0.00 0.00

time (sec)

N/A 0.308 0.061 8.717 0.408 0.296 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 41 45 48 80 194 0 0 84

N.S.

1 0.63 0.69 0.74 1.23 2.98 0.00 0.00 1.29

time (sec)

N/A 0.249 0.056 8.105 0.383 0.289 0.000 0.000 1.318

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 66 59 118 821 222 0 0 0

N.S.

1 0.79 0.70 1.40 9.77 2.64 0.00 0.00 0.00

time (sec)

N/A 0.344 0.091 8.878 0.434 0.289 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 69 51 57 367 54 0 0 220

N.S.

1 0.81 0.60 0.67 4.32 0.64 0.00 0.00 2.59

time (sec)

N/A 0.351 0.170 7.655 0.417 0.254 0.000 0.000 2.766

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 94 80 183 2662 270 0 0 0

N.S.

1 0.72 0.61 1.40 20.32 2.06 0.00 0.00 0.00

time (sec)

N/A 0.429 0.183 7.189 0.501 0.297 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 82 67 88 75 207 0 0 115

N.S.

1 0.73 0.59 0.78 0.66 1.83 0.00 0.00 1.02

time (sec)

N/A 0.325 0.536 8.101 0.423 0.300 0.000 0.000 2.075

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 52 52 47 57 49 0 0 75

N.S.

1 0.70 0.70 0.64 0.77 0.66 0.00 0.00 1.01

time (sec)

N/A 0.266 0.068 8.078 0.414 0.255 0.000 0.000 1.196

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 53 52 54 52 169 146 0 81

N.S.

1 0.59 0.58 0.60 0.58 1.88 1.62 0.00 0.90

time (sec)

N/A 0.197 0.052 8.490 0.379 0.277 16.232 0.000 1.572

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 47 44 53 80 207 0 0 0

N.S.

1 0.69 0.65 0.78 1.18 3.04 0.00 0.00 0.00

time (sec)

N/A 0.296 0.035 7.514 0.420 0.289 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 38 45 45 85 191 0 0 84

N.S.

1 0.64 0.76 0.76 1.44 3.24 0.00 0.00 1.42

time (sec)

N/A 0.241 0.035 7.128 0.372 0.273 0.000 0.000 1.414

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 63 59 115 728 219 0 0 0

N.S.

1 0.81 0.76 1.47 9.33 2.81 0.00 0.00 0.00

time (sec)

N/A 0.315 0.056 7.164 0.426 0.304 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 66 51 54 355 50 0 0 220

N.S.

1 0.84 0.65 0.68 4.49 0.63 0.00 0.00 2.78

time (sec)

N/A 0.334 0.085 7.677 0.604 0.260 0.000 0.000 2.895

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 91 80 180 2318 261 0 0 0

N.S.

1 0.75 0.66 1.48 19.00 2.14 0.00 0.00 0.00

time (sec)

N/A 0.417 0.085 7.359 0.482 0.295 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 85 67 91 75 207 0 0 115

N.S.

1 0.70 0.55 0.75 0.61 1.70 0.00 0.00 0.94

time (sec)

N/A 0.335 0.647 7.569 0.423 0.288 0.000 0.000 2.290

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 55 52 50 57 49 0 0 75

N.S.

1 0.69 0.65 0.62 0.71 0.61 0.00 0.00 0.94

time (sec)

N/A 0.279 0.078 7.543 0.415 0.249 0.000 0.000 1.008

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 56 52 57 52 169 0 0 81

N.S.

1 0.57 0.53 0.58 0.53 1.71 0.00 0.00 0.82

time (sec)

N/A 0.211 0.047 7.825 0.390 0.287 0.000 0.000 0.738

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 50 44 56 80 207 0 0 0

N.S.

1 0.68 0.59 0.76 1.08 2.80 0.00 0.00 0.00

time (sec)

N/A 0.314 0.039 8.375 0.410 0.284 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 41 45 48 93 191 0 0 84

N.S.

1 0.63 0.69 0.74 1.43 2.94 0.00 0.00 1.29

time (sec)

N/A 0.245 0.044 8.129 0.377 0.287 0.000 0.000 1.317

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 66 59 118 736 219 0 0 0

N.S.

1 0.79 0.70 1.40 8.76 2.61 0.00 0.00 0.00

time (sec)

N/A 0.323 0.054 8.173 0.427 0.290 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 69 51 57 380 50 0 0 220

N.S.

1 0.81 0.60 0.67 4.47 0.59 0.00 0.00 2.59

time (sec)

N/A 0.340 0.094 8.037 0.418 0.259 0.000 0.000 2.743

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 94 80 183 2350 261 0 0 0

N.S.

1 0.72 0.61 1.40 17.94 1.99 0.00 0.00 0.00

time (sec)

N/A 0.420 0.081 7.463 0.467 0.287 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 85 70 91 75 207 0 0 115

N.S.

1 0.70 0.57 0.75 0.61 1.70 0.00 0.00 0.94

time (sec)

N/A 0.330 0.953 7.729 0.433 0.296 0.000 0.000 2.077

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 55 55 50 57 49 0 0 75

N.S.

1 0.69 0.69 0.62 0.71 0.61 0.00 0.00 0.94

time (sec)

N/A 0.258 0.065 7.638 0.436 0.258 0.000 0.000 1.007

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 56 55 57 52 169 0 0 81

N.S.

1 0.57 0.56 0.58 0.53 1.71 0.00 0.00 0.82

time (sec)

N/A 0.204 0.047 7.487 0.382 0.290 0.000 0.000 0.741

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 50 47 56 80 207 0 0 0

N.S.

1 0.68 0.64 0.76 1.08 2.80 0.00 0.00 0.00

time (sec)

N/A 0.309 0.043 7.915 0.502 0.299 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 41 45 48 93 191 0 0 117

N.S.

1 0.63 0.69 0.74 1.43 2.94 0.00 0.00 1.80

time (sec)

N/A 0.244 0.046 7.559 0.366 0.278 0.000 0.000 2.199

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 66 59 118 754 219 0 0 0

N.S.

1 0.79 0.70 1.40 8.98 2.61 0.00 0.00 0.00

time (sec)

N/A 0.324 0.056 7.608 0.419 0.285 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 69 51 57 412 50 0 0 220

N.S.

1 0.81 0.60 0.67 4.85 0.59 0.00 0.00 2.59

time (sec)

N/A 0.332 0.110 6.719 0.435 0.252 0.000 0.000 2.593

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 94 80 183 2418 261 0 0 0

N.S.

1 0.72 0.61 1.40 18.46 1.99 0.00 0.00 0.00

time (sec)

N/A 0.420 0.145 7.927 0.460 0.292 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 96 0 0 0 0 0 0

N.S.

1 1.04 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.365 0.103 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 91 0 0 0 0 0 0

N.S.

1 1.04 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.363 0.123 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 88 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 0.080 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

87 95 88 0 0 0 0 0 0

N.S.

1 1.09 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 0.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 97 88 0 0 0 0 0 0

N.S.

1 1.07 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.382 0.122 0.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 99 96 0 0 0 0 0 0

N.S.

1 1.08 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.370 0.083 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 96 0 0 0 0 0 0

N.S.

1 1.04 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 0.086 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 91 0 0 0 0 0 0

N.S.

1 1.04 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.355 0.119 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 88 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 97 88 0 0 0 0 0 0

N.S.

1 1.09 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 0.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 97 88 0 0 0 0 0 0

N.S.

1 1.07 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.384 0.119 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 97 96 0 0 0 0 0 0

N.S.

1 1.08 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.382 0.087 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 96 0 0 0 0 0 0

N.S.

1 1.04 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.384 0.195 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 91 0 0 0 0 0 0

N.S.

1 1.04 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 0.123 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 88 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.305 0.008 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 97 89 0 0 0 0 0 0

N.S.

1 1.09 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 0.037 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 97 90 0 0 0 0 0 0

N.S.

1 1.09 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.378 0.017 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 97 90 0 0 0 0 0 0

N.S.

1 1.08 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.369 0.114 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 96 0 0 0 0 0 0

N.S.

1 1.04 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.360 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 91 0 0 0 0 0 0

N.S.

1 1.04 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 0.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 87 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.007 0.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 95 91 0 0 0 0 0 0

N.S.

1 1.06 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.357 0.341 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 97 89 0 0 0 0 0 0

N.S.

1 1.07 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.368 0.283 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 99 91 0 0 0 0 0 0

N.S.

1 1.08 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.369 0.333 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 96 0 0 0 0 0 0

N.S.

1 1.04 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.358 0.091 0.000 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 91 0 0 0 0 0 0

N.S.

1 1.04 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.345 0.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 87 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 0.008 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 95 91 0 0 0 0 0 0

N.S.

1 1.06 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.358 0.275 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 99 89 0 0 0 0 0 0

N.S.

1 1.06 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.376 0.264 0.000 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 99 91 0 0 0 0 0 0

N.S.

1 1.08 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.386 0.316 0.000 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 96 0 0 0 0 0 0

N.S.

1 1.04 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 0.140 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 99 90 0 0 0 0 0 0

N.S.

1 1.04 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.341 0.006 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 87 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 0.112 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

90 95 88 0 0 0 0 0 0

N.S.

1 1.06 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.358 0.010 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 99 90 0 0 0 0 0 0

N.S.

1 1.06 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.369 0.145 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 99 91 0 0 0 0 0 0

N.S.

1 1.08 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.386 0.154 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

148 150 142 0 0 0 0 0 0

N.S.

1 1.01 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.207 0.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 149 142 0 0 0 0 0 0

N.S.

1 1.02 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.437 0.167 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 149 142 0 0 0 0 0 0

N.S.

1 1.02 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.429 0.223 0.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 149 142 0 0 0 0 0 0

N.S.

1 1.02 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.440 0.203 0.000 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 147 142 0 0 0 0 0 0

N.S.

1 1.02 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.435 0.141 0.000 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 153 142 0 0 0 0 0 0

N.S.

1 1.03 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.445 0.198 0.000 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 144 132 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.434 0.190 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 117 122 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.392 0.147 0.000 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 117 120 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.383 0.128 0.000 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 113 114 0 0 0 0 0 0

N.S.

1 0.97 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 0.119 0.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 108 111 0 0 0 0 0 0

N.S.

1 1.08 1.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.375 0.166 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 120 117 0 0 0 0 0 0

N.S.

1 1.07 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.406 0.143 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 123 114 0 0 0 0 0 0

N.S.

1 0.98 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.406 0.116 0.000 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

127 125 122 0 0 0 0 0 0

N.S.

1 0.98 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.423 0.124 0.000 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 147 140 0 0 0 0 0 0

N.S.

1 1.04 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.459 0.168 0.000 0.000 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 147 140 0 0 0 0 0 0

N.S.

1 1.04 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.148 0.000 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 147 140 0 0 0 0 0 0

N.S.

1 1.04 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.418 0.128 0.000 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 145 140 0 0 0 0 0 0

N.S.

1 1.04 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.423 0.123 0.000 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 146 140 0 0 0 0 0 0

N.S.

1 1.07 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.130 0.000 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 147 140 0 0 0 0 0 0

N.S.

1 1.05 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.132 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 147 140 0 0 0 0 0 0

N.S.

1 1.04 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.461 0.135 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 147 140 0 0 0 0 0 0

N.S.

1 1.04 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.457 0.135 0.000 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

170 172 242 0 0 0 0 0 0

N.S.

1 1.01 1.42 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.661 1.293 0.000 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 145 175 0 0 0 0 0 0

N.S.

1 1.07 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.606 0.801 0.000 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 145 289 0 0 0 0 0 0

N.S.

1 1.07 2.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.601 2.819 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]